Dominik Bonatz, Rainer M. Czichon & F. Janoscha K

Krasner $F^{(m, n)}$-Hyperrings

$!!!!$ In this paper, the notion of fuzzy $!$ Krasner $!(m, n)$-hyperrings($!F^{(m, n)}!$-hyperrings) by using the notion of$F^m$-hyperoperations and $F^n$-operations is introduced and somerelated properties are investigated. In this regards,relationships between Krasner $F^{(m, n)}$-hyperrings and Krasner$(m, n)$-hyperrings are considered. We shall prove that everyKrasner $F^{(m, n)}$-hyperrin...

ABS-Type Methods for Solving $m$ Linear Equations in $frac{m}{k}$ Steps for $k=1,2,cdots,m$

‎The ABS methods‎, ‎introduced by Abaffy‎, ‎Broyden and Spedicato‎, ‎are‎‎direct iteration methods for solving a linear system where the‎‎$i$-th iteration satisfies the first $i$ equations‎, ‎therefore a‎ ‎system of $m$ equations is solved in at most $m$ steps‎. ‎In this‎‎paper‎, ‎we introduce a class of ABS-type methods for solving a full row‎‎rank linear equations‎, ‎w...

Max-planck-institut F Ur Informatik Associative-commutative Superposition K I N F O R M a T I K

We present an associative-commutative paramodulation calculus that generalizes the associativecommutative completion procedure to rst-order clauses. The calculus is parametrized by a selection function (on negative literals) and a well-founded ordering on terms. It is compatible with an abstract notion of redundancy that covers such simpli cation techniques as tautology deletion, subsumption, a...

Seed dormancy in pistacia mutica F. & M.

Rainer Klump

Using a normalized CES function with factor-augmenting technical progress, we estimate a supply-side system of the US economy from 1953 to 1998. Avoiding potential biases that have occurred in earlier estimations and putting a high emphasis on the consistency of the data set, required by the estimated system, we obtain robust results not only for the aggregate elasticity of substitution but als...